%&pdflatex

\documentclass[12pt]{report}
\usepackage{algorithm}
\usepackage{algpseudocode}
\usepackage{amsmath} % for implementation of the matrix environment
\usepackage{blindtext}
\usepackage{caption}
\usepackage{color}
\usepackage[pdftex]{graphicx} \graphicspath{{./plots/}}
\usepackage{epstopdf} \epstopdfsetup{update} % only regenerate pdf files when eps file is newer
\usepackage{float} % figure groups aka floats
\usepackage{forest} % for MFS elimination tree diagram
\usepackage[left=3.5cm, right=2.5cm]{geometry} % margins
\usepackage[shellescape,latex]{gmp} % metapost for UMLs
%\usepackage[hidelinks]{hyperref} % ToC/LoA/LoF/LoT entries are links
\usepackage{hyperref} 
\usepackage{mathptmx} % Times New Roman like font
\usepackage{pdfpages} % for inserting pdf as the initial pages
\usepackage{setspace} \onehalfspacing % 1.5 line spacing
\usepackage{subcaption}
\usepackage{xfrac} % nice slanted fractions
%\usepackage[utf8]{inputenc}
\usepackage{agda}
\usepackage{amsthm}
\usepackage{longtable} %\usepackage{tablefootnote}
\usepackage{stmaryrd} % dla \llbracket 

%\usepackage{amssymb}
%\usepackage{bbm}
%\usepackage[greek,english]{babel}
%\usepackage{newunicodechar}
%\newunicodechar{λ}{\ensuremath{\mathnormal\lambda}}
%\newunicodechar{←}{\ensuremath{\mathnormal\from}}
%\newunicodechar{→}{\ensuremath{\mathnormal\to}}
%\newunicodechar{∀}{\ensuremath{\mathnormal\forall}}
%\newunicodechar{ˡ}{\ensuremath{\mathnormal^l}}
%\newunicodechar{ʳ}{\ensuremath{\mathnormal^r}}
\usepackage{polski}

%nieużywane
%\captionsetup[figure]{labelfont={bf}, textfont={small}}
%\captionsetup[subfigure]{labelfont={bf}, textfont={small}}

\newcommand{\bt}{\blindtext}
\newcommand{\eps}{\varepsilon}
%\newcommand{\rev}[1]{\textcolor{red}{#1}}
\newcommand{\rev}[1]{#1}
\newcommand{\T}[1]{\texttt{#1}}

\algnewcommand\And{\,\textbf{and}\,}
\algnewcommand\Or{\,\textbf{or}\,}
\algnewcommand{\LineComment}[1]{\State \(\triangleright\) #1}

% TO DODAŁEM JA
\newtheorem{theorem}{Twierdzenie}[section]
% KONIEC


%makra
\newcommand{\universe}[1]{\mathcal{U}_{#1}}
\newcommand{\nat}{\mathbb{N}}
\newcommand{\integer}{\mathbb{Z}}
\newcommand{\unit}{\mathbf{1}}
\newcommand{\unittype}{\unit}
\newcommand{\ttu}{\star}
\newcommand{\ttt}{\ttu}
\newcommand{\emptytype}{\bot}
\newcommand{\deppair}[2]{\Sigma_{(#1)} #2}
\newcommand{\sumtype}[2]{#1 \mathsf{+} #2}
\newcommand{\suminl}{ \mathsf{inl} }
\newcommand{\suminr}{ \mathsf{inr}}
\newcommand{\inlinecode}[1]{``\texttt{#1}''}
%\newcommand{\kern

\newcommand{\ok}{\checkmark} %textsurd
\newcommand{\wtype}[2]{\mathsf{W}_{(#1)} #2}
\newcommand{\wsup}{\mathsf{sup}}
\newcommand{\fnd}[2]{\Pi_{(#1)} #2}
\newcommand{\vect}[1]{\mathbf{#1}}
\newcommand{\transposed}[1]{{#1}^{\mathrm{T}}}
\newcommand{\parenedindex}[2]{{#1}^{(#2)}}
\newcommand{\partialderivative}[2]{\frac{\partial #1}{\partial #2}}
\newcommand{\idtype}[3]{#2 =_{#1} #3}

\newcommand{\PerMartinLofDopelniacz}{Pera Martina-L\"{o}fa}
%https://sjp.pwn.pl/poradnia/haslo/odmiana-imion-i-nazwisk-obcych;8601.html
% Arturo Perez-Reverte – Artura Pereza-Revertego

%MAKRA Z HOTTBOOOO
\newcommand{\id}[3][]{\ensuremath{#2 =_{#1} #3}\xspace}
%%% Definitional equality (used infix) %%%
\newcommand{\jdeq}{\equiv}      % An equality judgment
\let\judgeq\jdeq

\newcommand{\bibliographyChapterName}{Literatura}
\renewcommand{\bibname}{\bibliographyChapterName}
%  \renewcommand{\refname}{New References Header}


\begin{document}

\includepdf[pages={-,{}}]{Strona_tytulowa_pracy_magisterskiej_pisanej_w_jezyku_polskim.pdf} % `-' for all pages, `{}' for an empty page

\tableofcontents

\include{wstep}
\include{podstawy-teoretyczne}
\include{wykonanie}
\include{zakonczenie}

% Nie potrzebuję spisu rysunków i algorytmów (na pewno?)
%% \cleardoublepage % to ensure that the page reference is correct
%% \addcontentsline{toc}{chapter}{\listfigurename}
%% \listoffigures

%% \begingroup
%% 	\let \clearpage \relax % to suppress page break

%% 	\cleardoublepage
%% 	\addcontentsline{toc}{chapter}{\listalgorithmname}
%% 	\listofalgorithms
%% \endgroup

\nocite{*} % forces bibtex to include all citations, whether or not they were referred to in the paper

\cleardoublepage
\phantomsection % Inaczej ze spisu treści ``Literatura'' prowadzi do wcześniejszej sekcji
\addcontentsline{toc}{chapter}{\bibliographyChapterName}
\bibliographystyle{bib-style}
\bibliography{bibliography}

\end{document}

